Groupe de Lie définition

groupe de Lie

[nom] Groupe particulier doté d’une variété différentielle dont les opérations de groupe sont différentiables.
Trouvé sur https://fr.wiktionary.org/wiki/groupe_de_Lie

---